Discrete and Logic Mathematics